The Symbolic - PDFSEARCH.IO - Document Search Engine

The Symbolic
Results: 605

#	Item
301	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
302	Creating a high-resolution spatial/symbolic model of the inner organs based on the Visible Human Andreas Pommert a Karl Heinz H¨ohne a Bernhard Pflesser a Ernst Richter b Martin Riemer a Thomas Schiemann a Rainer Schube Add to Reading List Source URL: www.uke.de Language: English - Date: 2015-04-09 10:04:17 Optics Image processing Volume rendering Segmentation Voxel X-ray computed tomography Visible Human Project 3D modeling Ellipsoid Imaging 3D computer graphics 3D imaging
303	Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code Patrick Cousot École normale supérieure, 45 rue d’Ulm, 75230 Paris cedex 05, France , www.di.ens.fr/ cousot Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2007-07-02 03:28:12 Abstract interpretation Astrée Patrick Cousot ALGOL 68 Abstraction Program analysis Symbolic computation SAS Programming language theory Software engineering Computing
304	Symbolic power and urban inequality - Taking Bourdieu to Town Graffiti and the “commons” of the city: what approaches to informal and creative practice could nudge us towards more valued shared environments? Marcus W Add to Reading List Source URL: www.designagainstcrime.com Language: English - Date: 2014-02-24 12:55:54 Street culture Writing Anonymous artists Culture jamming Street art Philadelphia Anti-Graffiti Network Stencil graffiti Agonism Vandalism Visual arts Public art Graffiti
305	NATURAL FORMALISM PETER KOEPKE The language of mathematics as found in textbooks and research articles is a variant of natural language which admits symbolic terms and formulas within argumentative natural language conte Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:54 Philosophy of mathematics Logical syntax Formal languages Proof theory Mathematical proof Formal proof Formalism Automated theorem proving Theorem Logic Mathematics Mathematical logic
306	How 1 World Trade Center Officially Became The Tallest Building In The U.S. By Al Barbarino When construction workers hoisted the final crown atop 1 World Trade Center back in May, it reached its symbolic 1,776 feet. Fla Add to Reading List Source URL: www.panynj.gov Language: English Council on Tall Buildings and Urban Habitat New York City World Trade Center Structural engineering
307	Page 1 Progressed Chart Interpretation for Diana Spencer For 7 Years Starting[removed]Introduction Secondary progressions represent a symbolic movement of the planets and Add to Reading List Source URL: www.halloran.com Language: English - Date: 2003-10-07 21:36:57 Natal chart Horoscope Planets in astrology Ascendant House Chord progression Astrological aspect Square Astrological progression Astrology Moon Astrological transit
308	ON SYMBOLIC ANTISEMITISM: MOTIVES FOR THE SUCCESS OF THE PROTOCOLS IN JAPAN AND ITS CONSEQUENCES Rotem Kowner Had Japanese forces not been involved in the opportunist Siberian intervention in 1918 and thereby come into c Add to Reading List Source URL: sicsa.huji.ac.il Language: English - Date: 2012-04-09 05:51:39 Asia Religious persecution Nationalism Antisemitism in Japan Jewish settlement in Imperial Japan Koreshige Inuzuka Masami Uno Norihiro Yasue The Protocols of the Elders of Zion Antisemitism Jewish history Religion
309	Page 1 Secondary Progressions For 1 Year Starting[removed]Diana Spencer Intro for Astrologers Secondary progressions represent a symbolic movement of the planets and cusps of the birth chart. This progressed motion is b Add to Reading List Source URL: www.halloran.com Language: English - Date: 2003-10-07 21:36:51 Pseudoscience Astrometry Astrological transit Natal chart Planets in astrology Horoscope Astronomical transit Conjunction Square Astrology Astrological aspects Birthdays
310	doi:[removed]FEJF2014.59.gross MEZCAL AND MEXICANNESS: THE SYMBOLIC AND SOCIAL CONNOTATIONS OF DRINKING IN OAXACA1 Toomas Gross Add to Reading List Source URL: folklore.ee Language: English - Date: 2014-12-08 06:16:19 Mexico Our Lady of Guadalupe Oaxaca Oaxaca Oaxaca Tequila Agave Mexican wine Alcoholic beverage Distilled beverage Insects as food Mexican cuisine Mezcal

UPDATE